1. Application and theory of petri nets 2002 : 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002 : proceedings
پدیدآورنده: Javier Esparza, Charles Lakos )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Petri nets
رده :
QA
76
.
L28
Vol
.
2360
2. Automata, Languages, and Programming
پدیدآورنده: / Javier Esparza, Pierre Fraigniaud, Thore Husfeldt, Elias Koutsoupias
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY
رده :
E-BOOK
3. Automata, Languages, and Programming
پدیدآورنده: / Javier Esparza, Pierre Fraigniaud, Thore Husfeldt, Elias Koutsoupias
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY
رده :
E-BOOK
4. Finite and algorithmic model theory
پدیدآورنده: / edited by Javier Esparza, Christian Michaux, Charles Steinhorn
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Finite model theory.,Computer science--Mathematics
رده :
QA
,
9
.
7
,.
F565
,
2011
5. Finite and algorithmic model theory
پدیدآورنده: edited by Javier Esparza, Christian Michaux, Charles Steinhorn
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، Finite model theory,Mathematics ، Computer science
رده :
QA
9
.
7
.
F565
2011
6. Finite and algorithmic model theory
پدیدآورنده: edited by Javier Esparza, Christian Michaux, Charles Steinhorn
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Finite model theory,، Computer science -- Mathematics
رده :
QA
9
.
7
.
F562
7. Free choice Petri nets
پدیدآورنده: / Jeorg Desel, Javier Esparza
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Petri nets.
رده :
QA
,
267
,.
D465
,
1995
8. Principios de contabilidad :
پدیدآورنده: Álvaro Javier Romero López ; revisión técnica José Alfonso Esparza Ortiz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Accounting.
9. 28, 2010. Proceedings-Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20
پدیدآورنده: / Joseph Sifakis (auth.), Javier Esparza, Rupak Majumdar (eds.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: ARCHITECTURE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY&COMPUTER SCIENCE, HARDWARE
رده :
E-BOOK
10. Tools and Algorithms for the Construction and Analysis of Systems
پدیدآورنده: / Javier Esparza, Rupak Majumdar
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
11. Tools and algorithms for the construction and analysis of systems :
پدیدآورنده: Javier Esparza, Rupak Majumdar (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: System analysis, Congresses,System design, Congresses,Computer Systems.,Software Validation.,Systems Analysis.
رده :
QA76
.
9
.
S88
T33
2010
12. Unfoldings: a partial-order approach to model checking
پدیدآورنده: Esparza, Javier
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع: Testing ، Computer software,Verification ، Computer systems
رده :
QA
76
.
76
.
T48E87
2008
